#include <nvboard.h>
#include <Vtop.h>

static TOP_NAME dut;

void nvboard_bind_all_pins(Vtop* top);

int main() {
	nvboard_bind_all_pins(&dut);
	nvboard_init();

	while(1) {
		nvboard_update();
		dut.eval();
	}

	dut.final();
	nvboard_quit();

	return 0;
}
